$\forall$$A$:Type, $l$:($A$ List). $\parallel$$l$$\parallel$ $\in$ $\mathbb{Z}$